Skip to content

Conversation

@svanharmelen
Copy link
Contributor

No description provided.

Signed-off-by: Sander van Harmelen <[email protected]>
@lucab
Copy link
Member

lucab commented Mar 13, 2025

Thanks for the PR!
I've updated this to latest master in order to pick up the CI fix at #539.

Copy link
Member

@lucab lucab left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@lucab lucab merged commit 5b62f4b into tikv:master Mar 13, 2025
8 checks passed
@svanharmelen
Copy link
Contributor Author

Thanks for merging this one @lucab, yet the actual changes that I "needed" are in the other PR (#537). These changes were just small things I noticed while creating #537, so hope you can check that one as well. Thanks!

@svanharmelen svanharmelen deleted the feat/linting branch March 13, 2025 18:13
@lucab
Copy link
Member

lucab commented Mar 14, 2025

Yes thanks. I plan to get to #537 after I'm done with #541, hopefully next week.

@lucab lucab mentioned this pull request Mar 21, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants